منابع مشابه
The MODUS Approach to Formal Verification
Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and suppor...
متن کاملA Formal Approach to Requirement Verification
In this paper, we propose an approach for the verification of a state model against use cases written in natural language. An objective of this approach is to provide a quick way to ensure that requirements modeling proceeds in the right direction in the context of iterative development. The approach consists of extracting logical statements from use cases and verifying these statements with co...
متن کاملA Formal Approach to MpSoC Performance Verification
Communication-centric Multiprocessor Systems-on-Chip (MpSoC) will dominate future chip architectures. They will be built from heterogeneous HW and SW components integrated around a complex communication infrastructure. Already today, performance verification is a major challenge that simulation can hardly meet, and formal techniques have emerged as a serious alternative. The article presents a ...
متن کاملA Formal Approach to Practical Software Verification
Fullllment of the Requirements for the Degree of Doctor of Philosophy. ACKNOWLEDGMENTS I wish to acknowledge my tutor, Professor Claudio Demartini without whom support over the past years, I would never have persevered. I thank also Professor Riccardo Sisto for being a patient collaborator during my Doctorate. I thank Professor Matthew Dwyer at Kansas State University and Doctor Willem Visser a...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Business Systems Research Journal
سال: 2014
ISSN: 1847-9375
DOI: 10.2478/bsrj-2014-0002